///|
#external
type WebGL2RenderingContext
